Goedel$501730$ - translation to Αγγλικά
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

Goedel$501730$ - translation to Αγγλικά

AWARD
Godel prize; Gödel prize; Godel Prize; Goedel prize; Goedel Prize; Göedel Prize

Goedel      
n. Kurt Goedel (1906-1978), matemático y logista de origen Checo
Kurt Goedel         
  • de}}, [[Vienna]], where he discovered his incompleteness theorems
  • Gravestone of Kurt and Adele Gödel in the Princeton, N.J., cemetery
AUSTRIAN-AMERICAN LOGICIAN, MATHEMATICIAN, AND PHILOSOPHER OF MATHEMATICS (1906-1978)
Kurt Goedel; Gödel; Kurt Godel; Goedel; Gödel, K; Gödel, K.; Kurt gödel; K. Gödel; K. Goedel; Goedel, K; Goedel, K.; Godel, K.; Kurt godel; Godel, K; Kurt goedel; K. Godel; Kurt Friedrich Gödel; Godel; Religious views of Kurt Gödel
Kurt Goedel (1906-1978), matemático y logístico de origen Checo

Ορισμός

Goedel
<language> (After the mathematician Kurt Godel) A declarative, general-purpose language for {artificial intelligence} based on logic programming. It can be regarded as a successor to Prolog. The type system is based on many-sorted logic with parametric polymorphism. Modularity is supported, as well as {infinite precision arithmetic} and finite sets. Goedel has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, and debugging. A significant subset of Goedel has been implemented on top of SISCtus Prolog by Jiwei Wang <jiwei@lapu.bristol.ac.uk>. FTP Bristol, UK (ftp://ftp.cs.bris.ac.uk/goedel), {FTP K U Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel)}. E-mail: <goedel@compsci.bristol.ac.uk>. (1995-05-02)

Βικιπαίδεια

Gödel Prize

The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the "P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time.

The Gödel Prize has been awarded since 1993. The prize is awarded either at STOC (ACM Symposium on Theory of Computing, one of the main North American conferences in theoretical computer science) or ICALP (International Colloquium on Automata, Languages and Programming, one of the main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within the last 14 (formerly 7) years. The prize includes a reward of US$5000.

The winner of the Prize is selected by a committee of six members. The EATCS President and the SIGACT Chair each appoint three members to the committee, to serve staggered three-year terms. The committee is chaired alternately by representatives of EATCS and SIGACT.

In contrast with the Gödel Prize, which recognizes outstanding papers, the Knuth Prize is awarded to individuals for their overall impact in the field.